#include <stdio.h>
#include <unistd.h>

int main()
{
    char	*arglist[3];

	arglist[0] = "man";
	arglist[1] = "-k";
	arglist[2] = 0 ;//NULL
	printf("* * * About to exec man -k\n");
	execvp( "man" , arglist );
	printf("* * * man is done. bye");

	return 0;
}

